Micron Document
Livres et Wikis | Archives | Info


Polyhedral complex
layout: Wide Β· Narrow Β· Centered
──────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────
top
In mathematics, a polyhedral complex is a set of polyhedra in a real vector space that fit together in a specific way.cite-ref-1[1] Polyhedral complexes generalize simplicial complexes and arise in various areas of polyhedral geometry, such as tropical geometry, splines and hyperplane arrangements.

Contents

β€’ Definition
β€’ Examples
β€’ Fans
β€’ References

──────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────

Definition

A polyhedral complex K {\displaystyle {\mathcal {K}}} is a set of polyhedra that satisfies the following conditions:

1. Every face of a polyhedron from K {\displaystyle {\mathcal {K}}} is also in K {\displaystyle {\mathcal {K}}} .
2. The intersection of any two polyhedra Οƒ 1 , Οƒ 2 ∈ K {\displaystyle \sigma _{1},\sigma _{2}\in {\mathcal {K}}} is a face of both Οƒ 1 {\displaystyle \sigma _{1}} and Οƒ 2 {\displaystyle \sigma _{2}} .

Note that the empty set is a face of every polyhedron, and so the intersection of two polyhedra in K {\displaystyle {\mathcal {K}}} may be empty.

Examples

β€’ Tropical varieties are polyhedral complexes satisfying a certain balancing condition.cite-ref-maclagan-2-0[2]
β€’ Simplicial complexes are polyhedral complexes in which every polyhedron is a simplex.
β€’ Splines.

Fans

A fan is a polyhedral complex in which every polyhedron is a cone from the origin. Examples of fans include:

β€’ The normal fan of a polytope.
β€’ The GrΓΆbner fan of an ideal of a polynomial ring.cite-ref-3[3]cite-ref-4[4]
β€’ A tropical variety obtained by tropicalizing an algebraic variety over a valued field with trivial valuation.
β€’ The recession fan of a tropical variety.

References

cite-note-11. ↑ citerefziegler1995Ziegler, GΓΌnter M. (1995), Lectures on Polytopes, Graduate Texts in Mathematics, vol. 152, Berlin, New York: Springer-Verlag
cite-note-maclagan-22. ↑ citerefmaclagansturmfels2015Maclagan, Diane; Sturmfels, Bernd (2015). Introduction to Tropical Geometry. American Mathematical Soc. ISBN 9780821851982.
cite-note-33. ↑ citerefmorarobbiano1988Mora, Teo; Robbiano, Lorenzo (1988). "The GrΓΆbner fan of an ideal". Journal of Symbolic Computation. 6 (2–3): 183–208. doi:10.1016/S0747-7171(88)80042-7.
cite-note-44. ↑ citerefbayermorrison1988Bayer, David; Morrison, Ian (1988). "Standard bases and geometric invariant theory I. Initial ideals and state polytopes". Journal of Symbolic Computation. 6 (2–3): 209–217. doi:10.1016/S0747-7171(88)80043-9.